perm filename FILES[F82,JMC]2 blob sn#692374 filedate 1982-12-22 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	[f82,jmc]
C00007 ENDMK
CāŠ—;
[f82,jmc]
aaai[f82,jmc]		To do as president
ambigu[f82,jmc]		Ambiguity tolerance and desirable vagueness
appoi1[f82,jmc]		A program for keeping track of appointments and advising
balzer.rep[f82,jmc]	Reply to Balzer's message to Bob Kahn
bird[f82,jmc]		Another version of "A bird can fly unless ...
bird.2[f82,jmc]		Another approach to " A bird can fly unless
bird.3[f82,jmc]		The reasoning itself
boyerm[f82,jmc]		Note to Boyer and Moore about RSA proof
circum[f82,jmc]		Mathematical questions of circumscription
circum.dis[f82,jmc]	Mailing list for reports on circumscription
circum.ex[f82,jmc]	Examples for circumscription paper
circum.lec[f82,jmc]	Notes for lecture on circumscription
circum.mor[f82,jmc]	More on circumscription - for IJCAI or AAAI
common[f82,jmc]		What is common sense?
commen[f82,jmc]		letter to Commentary about Irving Howe
confli[f82,jmc]		There is too much conflict in the world
cross[f82,jmc]		Crossing the street and concurrent action
cs206[f82,jmc]		Notes for the improvement of CS206 and the book
cs226[f82,jmc]		Notes for cs226 for winter 1983
deukme[f82,jmc]		SE2 letter to Governor Deukmejian
dirty[f82,jmc]		Locally dirty lisp
disinf[f82,jmc]		Andropov's accession portends more disinformation
ekl.not[f82,jmc]	Notes on the use of ekl
enviro[f82,jmc]		Environmental issues for discussion with Sarah
german[f82,jmc]		some German vocabulary
hypert[f82,jmc]		hypertime - speculation in physics
ideas[f82,jmc]		1982 Nov. 24
lambda[f82,jmc]		How expensive is lambda calculus computationally?
let1[f82,jmc]		A call-by-need let macro
letby.lsp[f82,jmc]	Call-by-need let macro
lisp.imp[f82,jmc]	improvements to Lisp, lisp 3, new lisp
mathso[f82,jmc]		Abstract of talk for American Mathematical Society
metaep[f82,jmc]		A proposal for meta-epistemology
molecu[f82,jmc]		Detection of single molecules by methods of
			 freshman chemistry
more[f82,jmc]		More on Circumscription
naviga[f82,jmc]		Radio navigation for cars using fm stations
omega[f82,jmc]		Chess win in omega moves, Barwise position
parall[f82,jmc]		Ideas for a parallel bit string manipulator
permut.lsp[f82,jmc]	;;; ekl axioms and proofs for permutation functions
politi[f82,jmc]		Politics and sociobiology and original sin
poll[f82,jmc]		Questions for public opinion polls
reiter[f82,jmc]		To Reiter re circumscription applied to Nixon paradox
safety[f82,jmc]		When safety kills
scheme[f82,jmc]		scheme hairy control structure for samefringe
semina[f82,jmc]		Abstract for seminar on circumscription
slac[f82,jmc]		AI lecture for SLAC; common sense physics
traffi[lit,jmc]		computer program saves humanity
tree[f82,jmc]		Another scheme for using trees instead of a-lists
triang.lsp[f82,jmc]	How many queens will fit in a triangle
trian3.lsp[f82,jmc]	Queens in triangle, multiple-value-bind version
turing[f82,jmc]		The Inversion of Functions Defined by Turing Machines
turing.com[f82,jmc]	Commentary on "The inversion ..."
unempl[f82,jmc]		Mathematical models of unemployment